1. Advanced mathematical & computational tools in metrology VII /
پدیدآورنده : editors, P. Ciarlini [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Measurement, Congresses.,Physical measurements, Congresses.,MATHEMATICS-- Measurement.,Measurement.,Physical measurements.,TECHNOLOGY & ENGINEERING-- Measurement.
رده :
QA465
.
A273
2006eb
2. Advanced mathematical & computational tools in metrology & testing VIII
پدیدآورنده : editors, F. Pavese [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Measurement -- Congresses.,Metrology -- Congresses.,Physical measurements -- Congresses.
3. Advances in Communication, Devices and Networking :
پدیدآورنده : Rabindranath Bera, Subir Kumar Sarkar, Om Prakash Singh, Hemanta Saikia, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks, Congresses.,Wireless communication systems, Congresses.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Wireless communication systems.
رده :
TK5105
.
5
4. Advances in computer, communication and control :
پدیدآورنده : Utpal Biswas, Amit Banerjee, Sukhomay Pal, Arindam Biswas, Debashis Sarkar, Sandip Haldar, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Engineering, Congresses.,Science, Congresses.,Technological innovations, Congresses.,Engineering.,Science.,Technological innovations.
رده :
T173
.
8
5. Advances in safety, reliability and risk management :
پدیدآورنده : editors, Christophe Bérenguer & Antoine Grall, C. Guedes Soares.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Industrial safety -- Management -- Congresses.,Reliability (Engineering) -- Congresses.,System safety -- Congresses.
رده :
TS173
.
E358
2012
6. Advances in sport science and computer science
پدیدآورنده : editor, Mark Zhou, Hong Kong Education Society, Hong Kong.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Congresses.,Sports -- Data processing -- Congresses.,Sports sciences -- Congresses.
رده :
GV713
.
E358
2014
7. Analysis and optimization of systems: Proceeding of the fifth International Conference on Analysis and Optimization of Systems Versailles, December 14-17, 1982
پدیدآورنده : edited by A.Bensoussan and J.L. Lions
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، System analysis,Congresses ، Systems engineering,Congresses ، Mathematical optimization
رده :
QA
402
.
I533
1982
8. Analysis and optimization of systems : proceedings of the Fifth International Conference on Analysis and Optimization of Systems, Versailles, December 14-17, 1982
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، System analysis-- Congresses,، Systems engineering-- Congresses,، Mathematical optimization-- Congresses
رده :
QA
402
.
I533
1982
9. Analytical and stochastic modeling techniques and application
پدیدآورنده : / Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer networks, Mathematical models, Congresses,Stochastic processes, Congresses,Stochastic models, Congresses,Electronic books., local
رده :
TK5105
.
5
.
I58
2010
10. Chemical and catalytic reactor modeling :
پدیدآورنده : Milorad P. Duduković, editor ; Patrick L. Mills, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Catalysis-- Mathematical models, Congresses.,Chemical reactors-- Mathematical models, Congresses.
رده :
TP157
.
C33
1984
11. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
12. [Computer aided systems theory] [revised selected papers]
پدیدآورنده : [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
13. Computer applications in the polymer laboratory :
پدیدآورنده : Theodore Provder, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Polymerization-- Data processing, Congresses.,Polymers-- Data processing, Congresses.
رده :
QD381
.
9
.
E4
C66
1986
14. Cybernetics and systems '86 :
پدیدآورنده : organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
15. European Symposium on Computer Aided Process Engineering--13 :
پدیدآورنده : edited by Andrzej Kraslawski, Ilkka Turunen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Chemical process control-- Data processing, Congresses.,Computer integrated manufacturing systems, Congresses.,Procédés chimiques-- Contrôle-- Informatique.,Chemical process control-- Data processing.,Computer integrated manufacturing systems.,SCIENCE-- Chemistry-- Industrial & Technical.,TECHNOLOGY & ENGINEERING-- Chemical & Biochemical.
رده :
TP155
.
75
.
E97
2003eb
16. Frontiers of assembly and manufacturing :
پدیدآورنده : Sukhan Lee, Raúl Suárez, and Byung-Wook Choi, [editors].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Assembly-line methods, Congresses.,Industrial engineering, Congresses.,Manufacturing processes-- Automation, Congresses.,Assembly-line methods.,Industrial engineering.,Ingénierie.,Manufacturing processes-- Automation.
رده :
TS178
.
4
.
I34
2010
17. Industrial Engineering in the Big Data Era :
پدیدآورنده : Fethi Calisir, Emre Cevikcan, Hatice Camgoz Akdag, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Industrial engineering, Congresses.,Industrial engineering.,TECHNOLOGY & ENGINEERING-- Industrial Engineering.,TECHNOLOGY & ENGINEERING-- Industrial Technology.,TECHNOLOGY & ENGINEERING-- Manufacturing.,TECHNOLOGY & ENGINEERING-- Technical & Manufacturing Industries & Trades.
رده :
T55
.
45
18. Information and decision sciences :
پدیدآورنده : Suresh Chandra Satapathy, Joao Manuel R.S. Tavares, Vikrant Bhateja, J.R. Mohanty, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computational intelligence, Congresses.,Machine learning, Congresses.,Artificial intelligence.,Computational intelligence.,COMPUTERS-- General.,Machine learning.
رده :
Q334
19. Marine navigation and safety of sea transportation
پدیدآورنده : / editor, Adam Weintrit
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Electronics in navigation--Congresses,Aids to navigation--Congresses,Shipping--Safety measures--Congresses,Shipping--Technological innovations--Congresses,Nautical instruments--Congresses
20. Marine navigation and safety of sea transportation /
پدیدآورنده : edited by Adam Weintrit.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Aids to navigation, Congresses.,Electronics in navigation, Congresses.,Nautical instruments, Congresses.,Shipping-- Safety measures, Congresses.,Shipping-- Technological innovations, Congresses.,Aids to navigation.,Electronics in navigation.,Nautical instruments.,Shipping-- Safety measures.,Shipping-- Technological innovations.,TRANSPORTATION-- Navigation.
رده :
HE571
.
M375
2009eb
